package tr.edu.ege.kipler.satisfiability.clash;

import java.util.Set;

import tr.edu.ege.kipler.satisfiability.container.ABox;
import tr.edu.ege.kipler.satisfiability.container.WorldConstraintSystem;
import tr.edu.ege.kipler.syntax.atomicformula.Formula;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface ClashDetectionStrategy {
	public boolean hasClash(ABox abox, Formula formula);

	public Set<WorldConstraintSystem> getDependencySet();

	public String getExplanation();
}
